From 87459ff86c88469a752a09314db44526264de2f2 Mon Sep 17 00:00:00 2001 From: Alexander Larsson Date: Tue, 7 Apr 2009 15:37:40 +0200 Subject: [PATCH] Don't move global user time backwards When setting the user_time on a specific app to something, make sure we're not moving the global per-display user time backwards. --- gdk/x11/gdkwindow-x11.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gdk/x11/gdkwindow-x11.c b/gdk/x11/gdkwindow-x11.c index a6d88b9ffc..54810a8c86 100644 --- a/gdk/x11/gdkwindow-x11.c +++ b/gdk/x11/gdkwindow-x11.c @@ -3995,7 +3995,9 @@ gdk_x11_window_set_user_time (GdkWindow *window, XA_CARDINAL, 32, PropModeReplace, (guchar *)×tamp_long, 1); - if (timestamp_long != GDK_CURRENT_TIME) + if (timestamp_long != GDK_CURRENT_TIME && + (display_x11->user_time == GDK_CURRENT_TIME || + XSERVER_TIME_IS_LATER (timestamp_long, display_x11->user_time))) display_x11->user_time = timestamp_long; if (toplevel) -- 2.30.2